Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
نویسندگان
چکیده
منابع مشابه
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
In this article, we formalize some basic facts of Z-module. In the first section, we discuss the rank of submodule of Z-module and its properties. Especially, we formally prove that the rank of any Z-module is equal to or more than that of its submodules, and vice versa, there exists a submodule with any given rank that satisfies the above condition. In the next section, we mention basic facts ...
متن کاملon the effect of linear & non-linear texts on students comprehension and recalling
چکیده ندارد.
15 صفحه اولSubmodule of free Z-module1
In this article, we formalize a free Z-module and its property. In particular, we formalize the vector space of rational field corresponding to a free Z-module and prove formally that submodules of a free Z-module are free. Z-module is necassary for lattice problems LLL (Lenstra, Lenstra and Lovász) base reduction algorithm and cryptographic systems with lattice [20]. Some theorems in this arti...
متن کاملClassification and Properties of Fast Linearly Independent Logic Transformations
The existence of numerous number of linearly independent (LI) transformations in GF(2) algebra finds application in the design of exclusive-or based polynomial expansions. For a chosen LI matrix transformation, such expansion gives a canonical representation of an arbitrary completely specified logical function. In this paper, family of LI transformations is introduced which possesses fast forw...
متن کاملساختار کلاسهایی از حلقه های z- موضعی و c- موضعی the structure of some classes of z-local and c-local rings
فرض کنیمr یک حلقه تعویض پذیر ویکدار موضعی باشدو(j(r رایکال جیکوبسن r و(z(r مجموعه مقسوم علیه های صفر حلقه r باشد.گوییم r یک حلقه z- موضعی است هرگاه j(r)^2=. .همچنین برای یک حلقه تعویض پذیر r فرض کنیم c یک عنصر ناصفر از (z( r باشد با این خاصیت که cz( r)=0 گوییم حلقه موضعی r یک حلقه c - موضعی است هرگاه و{0 و z(r)^2={cو z(r)^3=0, نیز xz( r)=0 نتیجه دهد که x عضو {c,0 } است. در این پایان نامه ساخ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2014
ISSN: 1898-9934
DOI: 10.2478/forma-2014-0021